SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Dl  CCS:threads=2elapsed=20.498cpu=37.200gc=0.960factor=1.817zXZִF!  CCS 9x[]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(SxatKsZ3p^֛jɶ<1) bѥ'O2}R9ݐ0K%r̫x; ӝft )$@XvTjե~NY|KTϬq=lˇkl@7zAq-NL h~g-9[SW`עz6"OVi/i̷wl^+Z^*p&~D RMRM mخK`eCpbT3ҖO$ `ݍ7 9 q j?7WZy+#jSa*9!w,OYӟ;>E@d|` PYT vnW/~e`uSN;o隒|x8 nk;F=Y?6fk|| '1+6|R/p`&6 >q*',{{J(& r$0g^kUO;1=µ=}4?ihG]q@}ꐏ]1s.&`.Z$JFPkU ֭vþMPn[>n삜3,8NTWٕȱ~uFWcߒ "${ږUo)@GFP}]Y>< o"cuFBjѣ^*!RnfYߦw8{. K6^1*"5f=Q@eI=ƕ iis^V.wW-{(d�Gp6/r%Ie&. w+7aԴ_pF ɳ?#9z9-I蛯T(u+qXx4j+#M@.@WT ri-gYZ7zXZִF! l]ŗXi%RSqOむw7t̞zX rpj=m4rdx iQT!'7DF{m|SA4IvI|!|rQ!XU޼:MYxf5Wg@o|NJ/ C̽' L4鞙%5űe;DF3M}-&luIm:4@@u&;mHRxVpQs hP@秫c'WܠA,;Nҡ/4ޞzQF4 QyY ?֊>f&"Y;zWwu&7&Ւ|!K(l*}< P ^U [_ۻe6?/o >jgLa@^ 3ڞko! B+ȐЄ"*=2k@udc2>dqf8YDQ^2^+%yn8NcKߒ85Qi.gST*אg4\}`|:(K٭ ɘOky:QzJ/fb ^ Rp 'b6Mt~!l,^y EN+:0%+ƼKp=cםdZqFC$Cv2k"ِ^Uoe UW10kS/]?% OgYmbK6T,n;_f3֬ZUF¥c0 g]| b'{W$K{۲J㯍I72 s3Uب"}q 8,9T+kf#Մ?b͘=6vSy})@@8;́} ْG4/iTF4jӮ*1l'M˭civ*4]"\! M !E )doV!.>˵^¦>`WG%[#wLޘ_.̓pӴ?"Gj8_S~+`HlR T0͖w$x͹C=}