SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ((U3 ,D w/ IEEE_Floating_Point:threads=2elapsed=20.220cpu=33.448gc=0.512factor=1.657zXZִF! J ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7$lE м?Wdb$IRhQoO]9dՍ~wǐاԵ)SSG<>pq;uc6jz.q h|", &WFw,{5$Ckwf^܌#S"5'FѦ3c"\{)5+_1*3Ǖlx6R/ux[Mq1((ʽ<Ѕן4G-e9Hk87)6s`L.ێQʏB~~ɠ]Lu_@ Ì6RDOϛs0Sc&`o)IT/0v)'ҟa g1J+Z.a)B=N\ &ė@O!.JgêI:.myye>|q;sGM|\"Byx^DSddacV&/c|uVFM {sI.efNy, P'0#hQ`ܹ?op bQB80HDNQQ8޸bҐs@nUp7^dpQ̢!@A*KCZAm:Ľ\Ǫy֨ (I\(]ior@N-=!iĩ%,=xBGG_z>Y>1B~eD[{#@oԾ떁r㒛-nȱbfHIg'BY\+:lxf#CO6{\~兯=2Ţ>w'H&[rN쐊Lۯ]L1C GtEE}pOH_9i*c:Mb51Xۍ[ f3OcˋƷ;xKNK胪S7 ,H2<`굨/>N+g^]+UʞM$|(yk:xx`$ADZr[*0%\g[r@\Fsn="嶧2qoP|s 6xIϖ0 SMVE{؈e%l3+wvI!IQa.2(\Ј{HKY9Uj1V_h?f.&b?ɐ{7 |LNfZ8ABL [Z FV8ĥ 4+,jB uus5;+*TVo+[t0ACA ;G0Pfgv3hFWƓWT_ӂ@fT68;XO^ ^ bTCOn>qJh[ ~O!"wcka;XS+yG cM!qM9.l;/1No#}W (%nfx=-kB?a|n[ ERӶD#ۦ͔9{za$0ɒ tțw$eL㬌Y~G-\muN"*pMf i&$Hl (wo#!BKCy${gNQ1nn!T\ޓNv\ׂU?у∴.89Fyt I Jo $i1pd:*ȝa>g|="u>Hx׮!%mڪ4XmucF touW\-h~H(:ٶS _4r"l@ƠChgҔ P܅ Fv8Ifhq|BD 3 =(RzyKyj_^7C D&rt)bjN*vjU1+z:FL&->\ dA)%y|_].|`[5~^-AKnljBQމ)mxW"D-Xۮhs!Hv:Vszo$<lQ$"Q$`)XZZd~YU/vzq߭t1!7ZRyg.vu,qO>\Xio͆gQ]<7w&d2~vƃ܁ooi)!Sf*S 78&Q'Ya ?1gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 3 IEEE_Floating_Point