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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R R %xLDt ]m Prpu_Maxflow:threads=4elapsed=142.389cpu=253.360gc=6.6927zXZ ִF ! ] ŗXiɟ Q=Nܧ4Ϭũ=zӔ.9'1%&`0ʠuhi:a|}T1 0ࡰ)7LD2[qS*Obǟ]X։ GN%Ĭ)Q}vYb] h:]O-aНY1`m^"c4A\w6t.i\GB0'*724[T ݣ+ vc vhv;BBsZA0P)n@op]cuKk4mB t8 ~]:Nx.XQEpDyJPK"V>\,Ki)idjR~]"OwBYDuv6E}xB+]Oez `J$_Fr[S*0"1c.qX ͡ns(U%rK]m# S5GdءA?)4<ع>9 .`5uH݆rݺLsw#HWIZM|=fLQ =QfTxڸwZ]o4ػbQQ&L{JE)]㵢jW:ztKYE4FWSC|h*)V-! X ΛbFىn$ue 7ewA*$e-bܮs6Rc֊u"%=įc@jwbH=B:?ڔQ!7](9/u, f>ѨQ;v-/tAd_(=IUfbDS$Y*`?c5ˊ!8"}S3qg,?bYFr{96rєC33
3LR3 sv{M埻ۦ
10OD}>UnUğQ
.~ے7
pļNFZӓlT)j
&v98LҁF["Lx\mR|aDCErĎϨW_͋qԀNg.'Y
5]RTo?(5SNz!Rj0sz(/O` {"+{mk~ǻ!zNUMgې%4>fh$P'&s+=n˜VI_I̙ߔ֤b9"MnDhU^>yBewhzنe{2HۅYcyO}# 4ۂ.;D\qd.8AP*J|zoVHt:T] l W6Bd{05"#RE 4y s5Z},cTJO7+"4UDnOYudg;+#iop^#"7U< _.[Ɣʧ2?A;9[_㩆`XuzF8ifpF W9>|F>l3 ߓ#