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 "tD4 ]/]HOLCF:threads=6elapsed=14.141cpu=44.456gc=2.4447zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34

 hK|yow\!a4Ngy~ FSr1 D8}e$$plVVo @(6ðx^w]AR +o[*kFft p!]bk_ffܱbh~+ayd)yp#^);-5:Lس2WcHuEg.;s+:oHl UM @v07}L 솢|kHE*@i7~ɻ r{>r)C4_F)M=`K !bmk[G(,oΙe0q ҴQEvߥu:;ˁe `ptJO7~?{ 2Ek-cKkpq^ZհRZ[}9M RjH?u$` Hzs% 'Wj#}THDz` Krr2ޑpI#kiʅrk{WMr)uwpЄMiBJdxi3x cq+o)Q>;hFrbN- >|X*ys<#wUW2B،5ip|h͓0-wT mn`]MH$=Hh'K9Ĕ- >bAVw{ 'DSgYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]ʂrO7`_r,'rW'Z'h=&rL/PXj|ۊjBOӾ +.(|`%=OPefTfg_(>͂! Ky+芯_SA # P11izWLZ7?]K8pUC R pޱ'ұ79D3bК]jB>n SeMmX'Q/ݾn+B]FVwQ/Z%rȉNM%SZK/"Hs{* P`;WV j(/!Sr -x0fB{mf1>f ԈN[#>.SE :8[G>7ְWBw] TY +X{#ƽ J@E XwsjdTvƴMDƠ楱gYZ7zXZִF! ]ŗXi%L(qfETEtZHTbֵdy{uAm-C(C8Qbn6]yɚ8]oVf;۶#(ޟ#z{ŕt3M4>؅_Cqe8*lLt=Uu weD28 ٚfMB/g6)# ,gR!"qg=_r_{sIN՘˲IC,c2<*QÃmtIN (aZ#)-GC@2㻚ZVxQ7>;Mׇ !Z'O|g={A vulh@D"tD0 cGH&u}Uao=E1j[\K 樳lQ7{)xxPc8"U~933g,Ymx)E ~${V0\C2Mʩι ߆f&毰 K㯨-_HN)յڂ[m۽<~s [9ɸLɐ}h&9|?l lr 3(n&Nc]]ynSgFN!4fibn[b g~'DQ,ڑv/xCgV|:_drr~E='9ӋJIge#M˻:6uMZHR;*ԣvUk!ZTÂ~8j#xz5k XƼ᡾ڬNҒ}3 ܮ"zgj& ̎FC2im#'_+X,O4#s{*KgBd+)f@!26vvnQ{QwW+?; nuB{Iͮ]#KGo}67Sj< GxDoH!%13da^'rw{th}Gp?Ԏ&}k #z=)^e'xB='z'MrPKG3\j.TH)ϻ: /8! I;P86u%AaQcHU+O/1}.NN"i 49[$?]Lvy^1ITB*