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 H? tt4 ] Program-Conflict-Analysis:threads=4elapsed=19.193cpu=68.580gc=2.404factor=3.577zXZִF! ']ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KaT$]/# gA}Pu. DFIj4&'d[6)hj AaAoDtO8'm?u:H[_|F TS]k!o%cjy}WU)m 3fcҾ`WBƲNwh2K1ZE%5"o߽U4oXg?DEv% RM(HKw*;$ S[V5zQړ5 )mqR΁2 -k{9$_ıvܜ.pN<lVz5gcҸjya[Xw1qZjs (85:cDϜkǽ]7.ea36J6xQvE6f8c2s|9lFX3b£blR.'@-S t;'w*큸1h8:gz3EudտauC[P=sfWN_dwu]T_m3զH V1UMyWGx[[ `xrxC'k؂ה%=YYE N _RvߘS@.}+Z7OQC*wQ)IF^93 F3`e yhʑ\XPe.'7ь9% Is v,d(?f7#}[9~oC`4.ikF8<5VK@bpγ[Ȁ<3~yVN mOE"24%tlg3kO4RgYZ7zXZִF! 2]ŗXiɟ˕A;[] VmTi{RM9MK'%B!p/HI79#,#8D%:<9FJ@b&42.۱p]OD;Dai5ҽP7MZݭB7>G;<;~"$Z""I d,ecNBv<nJl$JQK(L_+nm/N~a <&rUq 7NP<4g^| AAHZާm3 pO }{3įGAgYZ7zXZִF! E S]ŗXi%B dƮt#RW/aV~UsF(;`2CgrϽ h Da^,T #SӞg K^w c~&U#k"i}h8Aٹ^;4K./h2K A6'^5+ 1pϒ.fSe%=P[4$6 Me[GbHjlXnpk[!KtsE'o>wqn 弁.j통eHjm.vW2U:Fz>ٷ]V]q [lݫl<! s|=3]fEaW>~}~=4b%y8B}P4_F61 }>߽CήokLnN\mr5 {D衾/\X}G )0tasQe(x\C<[Q}2O XlnJr~m8ox0N?>477N8O:17i?AL9iVk{Ѷ8Q۪rNvz#Ezc2JzЋ=]/Q}[͈_/dwc?3(R[:ؘꯒQokh=jgy;z; bU#=aZZ.3H!+JLlQ}nM*4jz@Uң:Q<3/p}a(L4!ɣV2KZtfX-1@ވB\ϸ`2LJLֲL M˪:B3_jqbJOCmK.1zGvd(LqAB57)>\ǣ?OYR-iE/*v1Qa: