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 A?,4\ ]]HOL-Computational_Algebra:threads=6elapsed=33.646cpu=103.184gc=4.128factor=3.077zXZִF! *]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(JbX0QK 9!$HAcPҭl?OmtTv5}|.)5ɾ mkSoD{-h4E%y2J_:oark2,XV  ~h1#0:#k ڟnd@Hw4a7%'*Qf=IէG˭=ćM?8'~k![Kק-bn@Oc$O퉵'otJFLZeQN }.MybQ,[c+A/ 5hC%ƐQI"njԳ/TjigM=BZk ݬ?o"+>忺 >Fku2 69F/|RQ1.uNxju75,^sM?;8S3Sjp 'Nsޙ]'j8$'J6(Ԑ2FcJ|#$cj"abGQi+MwG?Jjr/MIm.WgT=VոmH)0>2UZ >РP?yKŞ8a{E6 *hR'#[揳H7xǩL/!eS0q2׆ T"D4=ct+;Μ@4  Om}Mjڮʳ #= uS?Ws>hTBFu8zgH*Q!;=`S:z,~= >UW #] >V~>(AEheKޕu_"&Q-_g^z* @f UigYZ7zXZִF! ]ŗXiɟ1];)ҏ>ZYܬ1>C'1mX\y< w4E[y&\Ð6^Fy>SBy7t3O2Ķ/YY[߫l bF|wJPI8x|a G*jzWn+Ĭ8TD6=}x,,.)u"EQ7:/LAN芆KSS[[H˱/S_?'Kàu>hmP,MU~y2.r\~" vWSMX[1C\!cgr:3P [5gYZ7zXZִF! ]ŗXi%yLvF2S4aӷ.L͖V=ȱw;1K}5vwަM8;gR]R3 :ZXӖ 3TA}tu#еQSFZRvwba$jt5ZW7 czh &A\!FMNn|Zm}<܂)+7D%|@Qkc]esy=zEs ,^_!ySp9Nl1;p ;I|׉F/OW?G x3F0)dAsSLb*%u;xr2t+?<"L٬;L\s22we~a e\r>O?K%U 4|81'we|ׂjU*q]‘m  ՊBU!)w١tTC£!h0 Ɩt'jCA%\ l8WC|43Ph-=ف:{V`]8;,+ x/x{vهhf*~ Fۙ<{t)!=2uKc^Kmdf&F3&M4S 9QsF,T-f\D{ O7D k-Lj?h.wj[$2.,1􈻵\Q9[s5颃cv+ ?u+sqCUU@ ̺`Dd~zIHdL/[<%"!5:G=(IL8 ]"Ϊ Bzͻ]|! Ls$9ŦJ7r7 "MT&\I'

T7d,mnIHeW5yhWH rI4usL5bWjԣ9I}!xN-}f}{;9?݆eTabPߒH۟L 1;aٿK>}.РPL?_luܪ)c0 v"שM!=o?,LNa/N\#˝2YR82$Ɋ,m -t3K&TR*hB e|icŀEocGCc7Igyjqo{EEcsNt F\.FcЍnԞ.-CL~h nȷ5t8`Tf|_&G(zGZki6-O^pLOc yikDF y !ɏmpIb>JX7낪Gbfn)ʽ?Nϳ\ ȼ~)EOg&D?<ӯgYZ3cd0f8f161e62fdc24fde857f9a176eb8b329541bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 c85aa4bd2a6aa92c321b13913268c5235d4cf88437d22fb55ec44ab188e65123fc29dad38d720772