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 }?L44 ]]HOL-Computational_Algebra:threads=6elapsed=32.011cpu=100.884gc=5.204factor=3.157zXZִF! .]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjQ [va͝?%# HBB`˜)aJλEJss78$ hk:% {f"L"uŚfy#-${krx͕[RbgUw>&xe*65:g~HzFkfQ+N͊)ZOX_- eikx]̸ .#!zpxb|8'-'a~݊}^Wj2ڿ!w~;OEc(.x h)B_rcgJ`aQ k͵r[o\3XcBPnfqnsb%Y?0#,,C'ūiߨY>!R/UoS2<<(h+3_r#aDTᑣ':gєh >v ʘ{ +^];Ԛ}Wj@]],|H;s:XlzS`* E?; _]J@zS-4H%)Ѐ;XU>Lnܶ(®0;#> ]l}gYZ7zXZִF! ]ŗXiɟ1V"~@ 6yPp:p E2j6`?zu/R=w-QZ<\}aHyiwJc N&Y٤YM`^5mIy #P>}TF>T);8Oh;ק|-bfKY'3<鱘<x PGPg9\L TeDZgYZ7zXZִF! ]ŗXi%;w] |.}c͇v[!}ǷNbgD- 3 ]n,t, n N ;ePtB_ +~2/Ј%FXWZJ«D +J~v@xxf=£5oa<k.ӼK bG&&8BQר_dvsGyˣzDCss<.df1Dh= N+p!U% g?SûS_abSB>'P&y66n[ܹ1eC󹷩n:Q7nAȐ(,ȃV@f].B R=ʔ=$\[St%M=2gf N:y'Z/W#dW[M& 24N[7o:/$2ssAm:z))jERI‚w2VoH/mH=p礏l ~gdlH5@Xg)jXl.U6Ӑ&JEP"\AC w 7OLa|TVA3Q8MWUʙxӣT(S~AET4`񻗗=MeBlT4 F-,b31H]gU^ 4\Nɞ-h}W]5 5qD5AWʥu)סOLB+ifdbl6aһ =4OzYD꽛җCQ|N4UVPD}ܸ)NrF".AU4㰅?YݿP+j`% -x4! ;6$bXe^C_q̩ZB9CBjyXH!?߰uP`p@e;ߨ93ՠee_*/E&_ZreM2DoQ "?}OҋLl^5B#Z:fvo{Nͪoktv  `yOԬp~`?Ze[_߅T1MQ?,9&kH1%z(lQɇ Ht Hˇ}&VnuQoA;/ *D eѢU 6ݟ\u˄, rc'yUؙVbQ.)|ƎM;n 6d{oQ~c* Nz#4om;^G ~-c)'Ĕ"h1GC aۘ%U(04:jc j/&L ~OK"gLO e;-#r5A)L4MmĈgYZ5a678f98e7e5ca6b4ebff78c89c9a0bc6aaa004b54cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761fdc529e6128005b8e32c9c96b189209626445597d