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  ) \dL ]/ BNF_Operations:threads=2elapsed=18.838cpu=36.344gc=7.996factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq@{$%F/ Xhj{Ȩ{Saap]M;Lel`cMtoRa,%0t[(} ʕk n>=ࠈ!!yn~݆/6B<G} )+I8y7ζvwMȻwh'ɃA@!;$Zl܂vJUY^ % RHeHU)MIqx@uZ:%̇qȢ;yuǰŁAPD,&BK:/׋1`rkұa^Xc!ŻmJCa_&s6WN ORJє1~&dse7 (WW>7U& JpZ7z gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~t$AaLD5Q>y#n#`iJrM]*8yHK NV3dJUB$KB^bMc^;O/%9Gd8I꣘)fXCZU#ECcjV0Ũ|Z ̰\&n [DvW%F.AgYZ7zXZִF! c%]ŗXi%92M!܃{." 9-_URW8,ѼݽPȕ}G@rXmނc7 4g8cvw@;xdCoe\C\DN~ .\Uz( A_@851aQW5Ñ顲c`启2voSݾC\"F]J?QJ﯋ⶌ=`>uLG.-nc*mTUj 0: ͹~N)k71G^؋wNp,2 ˗55cCKŋ_-E;Ę%y2g3N'iK#ų_Q!@1E11:̳psk %Cl9WqJbC]`Dͦ6l\% l}bQoJž˳l~!]$U_+zj<6^& IQ;Bl{ԫ8N| %YYLX-H|OѶՊ mM?n|\$sLk;q/@%_Rٗ*w c ϔC[5&ng KcՁ9j*BRhO0l *ޔ`ixڹݰ!?|џ@L {{ h<4,/dgk]KW< }iĩ"Csh })']\bP,m"i0>Ol<3{ff@1RhMzjBZ28'z^AqFo,-j&}R7*kǓ~]<@ɊiL"°΂]R`4zTuh"g5nj&x0|ȯ49ut+ǭDcaD& 'NjЗR\m" صN!vi곤9 3NwptND,b&ߎO& ЪJ|Ig&Mv@`;vTPI}+zeDxn%}QGA<†YRj5x)7v,?^Y eY_c ^jE9 ̹SV^ iN-|o0Wq|AP颹lNѪJ$SȩIyX |P?W-OR?#(bu-)Ȯ8LOt*QM@-nLU./ y.j sxSZKISe `w.|*f) . i]cMY@y4}\