SQLite format 3@ . YYQ77Atableisabelle_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, "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 BB;5 \ ]% DynamicArchitectures:threads=2elapsed=19.041cpu=34.876gc=0.712factor=1.837zXZִF! ']ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcmy;ri?۔P[WEY#XL6?&HT6oyEӊ#дzc<̾ pa5}dd#7INڼ%\Zo(Ml{ѻK8<}ǘuN$yNkByj˹ˣ  ln1Uf2Us6ωZQyw&h|쓀'F}*x.ֶnR~] .{ӽ4*̅qǴ%am' Ӹ&܇ RY~*WLe}ˋTz*ŧ~n( ʖ/IE՚{e6qA#Gã=5={ ٣G xaZF̨{J L P 㷜I̘U؀]>G{HҌ_ISiaZ@Pq'"yT&ߥ(H`f E"LB/܁}22n3ݳܱgYZ7zXZִF! l,]ŗXi%6At:7D5r]2$Ϳ?!ck5}U @hFMj9e{Cyn]o3/H!E`M/ dCL$"#rO8Jmql$X#2@&P>|2Vr0d;)XvW51Q }/klt^)7'$OuH 8iH7#hgbsPq/|:0  '` CT ̕O9(48~ώ\Uz*+w1_݌!3S; T@@0J0,>E @1IR,gHD iJMy.3_ UXGq8Gd (̓avԉcs+i'ih?c>ěpԢj@>tRE^4ے7bC12_"2Y1kY}I{FIKBuMp*FIY\;Ck4GsF!zj{.'M;O%5C"X}Sldu}Q!U.)VA3rb(A3$9z@&bLVHAed9iR1JAA #8Tk+;ʢ[qöQ`!ƀC wbNd'Qi"^ʾ %BxMʤr{AZחyW䓏raa|jrؗ&,4ZeQ>]ûMA!g s1rVY`J s"Zv7vKZ #7.O%{ cs.k S~D8RB Lg@SU(qM=M-3.Pn0Cp'9m/QjtB+UB <&\$WY)}8_Ps%:!ZU2𽺝\e}r1=jgIGUXݢo:,&| |LǢvy'|P.xr e_N0F=j{!,{Egn 6`AP2Y|}*Hs\Yn5UC(hm['laUPdNv8e2af9ZwJw/ejxNƉ^{kɫxѝ`#5U22揽߳f3%%M 33[wk6Vp鍗TqK*X4Y 2Ǐ4eWpb'$FU]r"*@R; d ϵ!M?- q9~޳%L5X~jfCZK)٥fLH|b'h1FֿOF bUgYZdb6f875fb872e0bc66fef8f9ccd97bf2962b9b69e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 c60bad492e8a9812e5d8f50a523f3ba87ced1e92 5 DynamicArchitectures