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 22;A < /]Typeclass_Hierarchy_Basics:threads=2elapsed=8.911cpu=16.376gc=0.656factor=1.847zXZִF! W>]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-IR[UJӽ;KmbWߓshNUqf䚌23 GͰ·\XɏJ.URF٣(+N`}[<<Dž0}w@QdT]9S+)&CbGCgǣ`ɟ4&@Y<8Z f(™7%ܮG|G Eawi[^P&. 2t#< N ␍VYNve{x A Typeclass_Hierarchy_BasicsOɑP1CPH2{ +D,rmįmCe'׹=<ѕ]ҟ6Yt̐.zRCaftzv" 7蓛1(qD9ͪN Ꮐz;"mϒF@~@|N諭P+$>byO[#z܊Pg {1a#Y|!Sƪ縀sw5{a6-hfgY&D%e_XHpWz:T&og u`Y%M a /kMzIZgIqAm^0k /$v :]QM2bIqf00A"e zph-(89>Z_[<G!xەKod9)| n@{]DyPK6_YWǗicz#zݮV;T )bL`-yH-z C$#j%ʀR!H49m@CY[lk&2wi&P]I^˃(1BcV/:Z"#5}zVj[;5%UdyZ|M]%hnq>ǔé?]Z["*;nlOďub iܑњM}'WD?<VIf0.pI8J26^֨`^d$uMps)6=ǁjPu*!Ynܔ̴f%yX^Đ]mΣf~NٙBbS\W{urjH;!>VKF? nO u٪;edy(s$&p6//2#'3 `g.@"Е{FM*BR<-չnlgqߵN5> ;Ѻ2k^y?Cg֬WU|8=*F~5i.X^" t4S*:桂w"ww;mهt ARؔ;KR`wcv1zѿAωcϯaBT `/,*dbg!XTzB˄EjUb1`|ͼ[3֪ۏ}L%蓚zYߗ I6AnbXOjȻieȱ v9?cg*&( c Rx_eF@p 6i8`|m 5;ʣOC<`dvt=X쵋:t/!2CEznԍ ɬ`Xxe,#Px1k׫ݥ; ǫ`S>썢VzUg@=G6)9KtҒO=ezL9ye|zWYm/!kNnF6uЈiT̔۱gYZ0024c75b9c49bf114f7dd95cfc1cb2ffde45fe68 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 923347dea834937d0402a03359cf28ce8b41080b a6d881014016ac510413e96c94577bf126ea335f caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bb8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817edf770f4ceb31ee53d22bf5223dff0dfcac80cdb35