SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ;;B |tL ]/]CRDT:threads=2elapsed=21.268cpu=41.208gc=4.936factor=1.947zXZִF!  ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kw5A/AH["Y̔ۍv>?$~F$ij9N'#xkPoo-|Uf#>Ǖt. fb}i{uݟr V#/XޜV~c\+dY;+ et?=bj?EioLcoYׇ{QKs?Y}2L54nHTo&!uީL0~mFK(#=yH-GdSm\R3f5p] sieS)~3f:):GdstO"uL:8q[Z7(|_$ā+yׅyQzC"6ZzH(sjEmJ']<ڞBY.ׯf< I;͢lf Dw$K_01b vfI=dQ Q0ȃQIZkfz0<^}XfC2o(^Oh\iz=.lJ>Z}ƅ䅀P9!:ܠu#2w}̩T -l^閞7%@c~q)3 <n#%t_LW!n{G _d&~/HQo|nP,_%  Un>dgYZ7zXZִF! f]ŗXiɟ1˦rnzx <@0+gMLABq HrqMVē!ux E;,Ҕ S${辜F CαQj`Èm~Xz&/BdG7^T=PEgumJVڡjdν6>4VlfFݽ_-oE"ow ed|@RgYZ7zXZִF! l_]ŗXi%ӭyu#S#ҹ* MPs[BYԮlt]Ea'hTmNf #4ntZ (`f9y1 VmFlpnwk}!e%!%/MW;qY}*LFap -ek[m?&?`S5Kl1-bf@[69v3 H[F쐝߻Գ,5海g`F9ZG\% ( IL١62ar9|W0R3;Cu2?(ӈ;0ĥ. fꦻH` R J9T:QLLi7ϑ $Fs4,*"91t ]H q4 auGb0^QhNoRnJ}UegV"DZ.RPHc1FbL]6++oPP4trDR7m ELP%ѧ r0a͕U߉czc? LfBmH29C0/Wol'gRGtp+="-3!HLQ"+rK X-XO.O!dEFL;E/$Rabb&U5GszE4lª :$ |PߓGͩk`9SdVCBTٱEA)՞vx7hI΄6!trrr k{x |X~vbLx籁G-1 GIkzs;w:\pLdO\ACGL E"r 6fWIxd+eE-DBbcc5wR<qx$JD$~IW7@ n336ρMierc:.ᙕ䛸΁[\@c8T4_%/wX5]͎enUuVҒ%![\8MPo$[2-$;,Es5$pzCL18F2׼4Z0wO[8W,LBb jWwo^NDC -'cxxSHgG& #()rJڽ>b#䯙$ 3ߵ#KNS)L;ǴH0I'!EUd vȃ/sW3 'N6u|n t\! aw/+z@%StQE>dvmm"i}rdVYB IT@“V[ÊA22ީ1 8JU1$;X Իs('2VL}DQk8(]qP#XNw6p^u nH rpb`&yt T)M !@a3La][,M/.?3?oiY⚵(*J>!/&jHޒ*Ka}