SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {{ ll< ]]]ZF:threads=6elapsed=12.220cpu=46.480gc=2.936factor=3.807zXZִF! .o]ŗXf1-) enȈA XR„#% `l8r|gYZ7zXZִF! 0]ŗXiɟ 1FE`空%n=xG>HXy5&+{ВPDhlr\촫(xrݕGiijVQ| a2cFmmd]:4W|Ѐ޽ haa(<.e_ПF+?G]f'/?53dV]k"UҘ`WsNX*h(7f ֵ)A;N֖`_-$:9ڑa=Zzrmas< wjhMu`!Js⫝)+l*OCFvnPWЄ:Q{ XY]q"Dm:e<"a4K2JG{=kkͰVfQ[MEd >0ׁ3r]"k[S2Oao3z~ŗ}⧰lϼ5{,ßߴuczdƳ:-im?61ڧ퀈b޷:ҍQN1:Ҭj Cg1h740gYZ7zXZִF! CTU]ŗXi%IevI$*!)?{43e=bDTY@@oP-, u!7ZdY2uO@U8觽_7E9qbl%-`E|Ow|wj|gl\8Cפ6,EϘV!H702 YbW-xbbu`Եr!"IDpȘo2<4+ǖ+X) [_\*$ma1أiGA0fG2cw*_cИ"A- δdq]?" WG)`{.1oIhR削6/Lҙ[/i0:;oDql&EƛzvÇ"F1cSl*q J!%4= |kF.=I""fE˩;91cKr*#NQnuЖgi3qz&!a9BM$#گ/ Nafkw9Ķ0Tڥ_6n cmfM;ؐemy_K#3ՠzN #=MCS"KyW>y"ͼ+ͬ[ㄞёKM* ybsa#f|dNcZ%終n:'=&1<& :#P{ P.  b hNAOM2#}FpG%0PmCt=BI a8$Wh#d#],zX=̀+ÿ+G˺T3.2i1 }j .1eS<&yx*o1LmN;b8zbza/n7V6>-s^L*VvBQoV궐I;5ӯ#vz`5Ɛ.oq~:y/#= >YaG ^t ?DIfؠrX2W֨!K'F[w[h>B/eaQ34qDafԥ 4%fߩ%m<|7ԡ V74/A:iRL^C L~סf4V)P |Zn Q؊j Jow˶u"'rb4n[+`EO>R4b'CGsʖf֗b`蟣SՓ7!VI&9&gLm7ٽہH{%{P4hw/JyQGfVvo] qP ~~+(Sgs_0pA)~#]S<.QbH@I7+={䝴S[Vt{NlͿ`hlPNkLJ%B8A˥hiۣ/ɸ!^}kz|q ՆB5gYZ82d68ae6d2bb58b3cf80716fcceb4dccf74e50c0b8f2b33a24d2ef800fa7a056082ebbbf3977915cbe90abcb4aacac71907e8126be89b2cfc2e0683a  ZF