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 V | w/ FinFun:threads=2elapsed=6.054cpu=11.272gc=0.580factor=1.867zXZִF! :[B]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6QO0>雑MTl[VC&`1R7WNOvr)C~73*P^y(dE52L<ۥ{F9I0 \Q%@(R iH&qjkϳOu'd: (3R*u#ɪJ-}9ƈL* F{盆iEIϑ\ :2Յ >~DdLsy. a~0 S+4 Z8 za sS uH)'[9 `fexg,h߅c|y6_'wK_~'')aߒը_`0 'J]#mWpf#i+l:sذ@ێQT= ԜGK8u+aAzc %#Ƴ+|rQ5   FinFun9JZwC_Bs7+IqH<ifǛϓs("lMeDM}]f?9Zw$cU{?vXZE\G""Jl^vS{SMypECwU`}?9,k~kb5²Jtzذ?n1.sGmiB!"?n1GGODžU0]ƅdψigm` \,`8_CY g t}+?8hx_Uɬiő;"$5Sdu~&Xky,1зQ@2w.rxm@a_ND`)bMy:u1s#ǟUul@w3>,/n"Y|4Dl-zm|/NwTMI@-3E 9DM1:6 فQu-= D3fC* twgYZ7zXZִF! ']ŗXi%S >u[RpUP ImZUP .O<ՉJםfNlf 0<2R-@`z/UDŽbVM;oB1猏,>g%Ujx|RY灎ZOl˘QDN Ll9RC}2ۺQ}fJɥ4<ےJ'q9=0 Wp`ryZhӈʗ,3[@YB=8qWˋEj~Own4ߍSK\~(9f]hѱOQ?0]MO Dv*ߢ>@ǹbFb=*29?B*N0vd7 N`I<v;Zd_}`&S&ɮe[H^].*?P2/ -Jp'9b׫7d={B֮c_١dҼ(wmV>>\Ϡ_LKa)AlD>t#Oc OgX!:$ gu\uWyM2B)ޢ#"8ahpPًCӆJԈg҄8<ʈ&Wo|Hv .M.Ś+* 7_ӹQ :A5}3#L2S{ԓK)sA OɁ1gYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 5505215dfa46643ce3ffaec1815fa2ebb0d2d03e 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd1180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4