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 //N# L l ] Shivers-CFA:threads=2elapsed=27.457cpu=54.296gc=2.576factor=1.987zXZִF! D]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_ǙzүFԚbx#fczB bI}^)KV}ިkDH~h)qbl/#]t>-qa~qdX= Udy3_/1":J/MIwKYS z ktmL "(c;]Q"kO f;Ҏ_t9m4)zO{oA'ߌ6Q52r e I>ߤoDwUr}_~! @7Rc3 vf$&Br鮵MN )> z~(b)DZgYZ7zXZִF! N=]ŗXiɟ1˦rnzx <@0+gM:Yc|i|!M܃Im%.\ǘLL*_=}+?0ޒ >fnc70B77LbmY/Mb_Mu9ִGU)]ri!%KhU-~V6pwG3jwEyLz+,%P#@+LVKľPds+DԔY.#xh7"c|_v=aXSE 34#{lMv ~?Mޡ>Y*Pl>IU/egYZ7zXZִF! -]ŗXi%92M!D$؎|c5N3"xWMFt%b^HZ1?Ff/EP([t5B'T%n ⥲}l'S0~Cg빐"ǕﴥRz.X޶98b8 ~{7i)Iv(QOI~!ӃqR@Đ/sjIy.xNY{+#f P *`Vޙh b_`TTz"HYD2MUX5kP-È~=+)t0sGs1]mp9zaFH 0c=K.wC{tt#oI}- O JbzZce;+'+ O ׇRִX"o.&1g's([U9#΋`5 ƦOGNƱa ec0(](vrxto,slz<|yu6)&vⱆg5W<-v~l$˕2W(SbvYtuuxH gH1j.vqG)5M"9k#y88/5\+^JHO9V4E( l4c!ۅEk~y Y.ErЁ;,ti > X- tet`NbMf =yϧ *%݅jg摬̫(sFC]09sW^Ǔp*2TpW^i2|7qe4uQ}6^So2rbKQZNCP[[@KD,kZ=mK.x4zӺ<6\'&(Znե]i:6;lmiSeEWHdfBbFkht{?Nb7 Y,Q/HIwNH 2,?{97 Qسtiޑ݇ v[/2StC]@jq1d,Nwd&SБ)֘їК)s@ޅ1{@˾/=RA0if?iͳ1vIF% =em.qx\&*`mq9BWib^pq2|ZkJ8 )=t"GFթ~ڪ~(z-ibl(sІmm>ki6DbDW L߈DS"f*IqJ>g}3_>6NLÁg"LutC UbѼtsN1Abم=qIUۼ/./qj2$g V?fj %9rU:XqþZT;Ah>0UgSɀ:K멾hJFlY@28ia; *c!n+&YFJ7,0ȩ:<8D^ iHVǕ(T%:z N?aVF2;="7;z-tչ+- as`jSlӫ_MSv*!ߖ!m KGu]n[>QHh=aaѬ;~>8tgYZ1fcad4c5bd034aaf59eeaee6188a14452973f19802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 0907ffd5488f2625752a5b0e2add48345f2535b6 # Shivers-CFA