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 ^\| ] Corec:threads=4elapsed=75.365cpu=112.292gc=11.236factor=1.497zXZ ִF ! ] ŗXf1-q恈͐7ӺV1̙ GMji !JݼWB0G@Oc8{5O]20de4dk8MC5a:' 'Ĕ@ggWX8a 8/ZXNimX\/_tPwx>p؝T ߁: hIHTz4 ݦCݘĤ*2FGQhl|ZRCa-U9#;/ȎʆY|Tu=o^X,6Am^ڈ"ԭ|3m<.muk2}ke6]gE9ADc-' PqlԬra) GT";gC9#IN䰰M/?`kcMy-|N8h4w22MmOMNR)x>[+ 0Kp[+ g YZ7zXZ ִF ! h] ŗXiɟ1˦rG1)IuEQhW.a&͙q=2q1ϥ5Kutc@ Y %& Pwg YZ7zXZ ִF ! )] ŗXi%L EB[xN ąqPqA>'Hv
|`掁W'z\3.MaW>R%/TE Cа;
z'mo7Bu9ognu9J
(GOE'*ŏtA/Խh3svѻ2[~
j)f{aJ 4j2.M(ya+kez=4)\vI0ZvĂhm6JT% EO}K:/
w2*iO0vKϸ?78dɱS$
^jF^aC%asid@Vt`d_L7õ21J!ܗQQ4boװabb烣
,'Q.20}l?ALt{-X bVp
U۽iEjTVt3N7͇+vy)m|=[,!$>?GּiJ7Ɍ?0;q
B|3sD2}TCwgDWVMK^-u{m>\c5o9YO@ƌkЎm<8)R^5TͩEh6||b`Ø,\O܈@{(5eZ CrnB.X%+CC)ǒX_j|HCSAfa+XPiuX5?^cAIAe7=4Wkq+y
j5wmgߝ+8D/2 OŦ?!DF~&l^+DSHZuZ֚ lcLOgTV._l[k\зhkd ̟F^ 6D+q,_!
mp'ʡpޜ!cf!4[.-dQJ5ɵv\_eaq0hs
8P罡t@8Pns$,CÁ*