SQLite format 3@ .0:  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 ==@ 4D ]/ BNF_CC:threads=4elapsed=12.696cpu=41.856gc=2.624factor=3.307zXZִF! 4]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCMCu˅jz] ݏ NVV΍oEIi\씍ףq=CN -Q% DKF' ڕCq.wxM 9`[͔#[}jj)-!KC4Ja$iipÛ^%Z~pgEaTsd\0$TXE0X-ײa<385wL!mVt t10a fGDvsJݛ3̅ 鋌1\xc7N9\xD=:|IzldL^7-6jw BԱ@#(eD}v1dFVCx~-zÃ^#͖ )&!yyym8ͭh/n,R"m( Tj#$jkrD*[LXk,CAϚÛ ӧxAiJBSG*y)Bx>GJ׏e$DB_sI VeʯK᪜%@+ Nb 7q-iI(bP#$YJW~/9‘˟vlV>P*O9BG*>J%G#XjnSCD]IBɁжKc'2C3XvZ{]Atk6!,:M(^`Vd~bYJck$ҷgYZ7zXZִF! ]ŗXiɟ74p1=MHzڰDbnhee?(J!շA7$J`|Q/``6S^JZ -uN=z-V`.V]`t[<_nɓ BrL-l|ڎ0iY dӱgYZ7zXZִF! b}]ŗXi%GgzBiM&#fv #l!I]@0JBtbav-U&6zp{qU_/O-7,r-q)ik|D6Ǧ=ގ Dg'=׆L Zn ܓ(ޤ`!K!{l/-j~mz$,dUȡ_7 erB,M:+IQv#)\N&rSA8@:c^'XQ֠d&#mɭu _bJy( %F>B_2M _ JuihL-L2e(\F܆ |{Ͽuмf)C`ևoﶖGnX?ѥCba~ose#W#Qɮf_8$Ny{/`*ϦzH]Wr+q\PyWOJ㸿Cr 2qe̤-qDL`G ,F|R[bֳrDבZ$TP|q&Ktpx!^}bwYcrhD+A-Ko+MU^(jYE4O(SJ1@Lo!ƟۋxHX9f<`_èh\)>FP /ޱ>Z ? MbHmJ쟁ٵj9pRFPQRD{)Jq~s$r]WgK@Frruk8v mg1.*OЉzgю*%!j `Z. 83#Hh_S\/B^"2ʑ|cwȷxAGڐJvpݓ熬-N%Qyn (xQ5("=ekc.D`V|N%%*/|w6 'gYZb2da267baced1f1b39aeb6aea9ded3787a847c691795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b   BNF_CC