SQLite format 3 @ 6 .; 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 &| ]]Category3:threads=4elapsed=322.003cpu=1055.288gc=63.812factor=3.287zXZ ִF ! ] ŗXiɟH)0%o
LOb֙%2oU_;PD:fXZZԸPՠQpV vz|5DB36Iۖ<z|瑶X {ep`qa;2ciR^UQh]XK_V#R|HM|sɄ)M]RY?#7D}xHaSnrC@Hۿ - jqk*`0mP5MX "ߊKyq߷/PV+zvRՓa@z%Nݦ42J"Nh4~Xo(c2MHg7R!Do)))0+ ,YnKu2Q7rB9o(7Cp3'?Y^b y}J^$Cʽ1̿QޚiҼ~"0*XZj_vR(ĥqX)\E.nۼ@_E4ކCzic~a 1Ff0g65.H}8!&gu",k2(_lH2x jHam,L%?k &yElꡇy˳kʆC!]Zѧ<TDۢR*KL-}M>qhh<pDmWKы'2? :{;1G46'\ElUdDzŌ}i3;jxbdo!"%ۚ7 s#{2-%=Ο"AH)kH"M<uYnDRxn$u3+ڕBNDyȴʎ2sxp++J
!֩~Xy ױ4X3Bc!밚"lZeh?7z2QR3庅Dn.)^M4m\zJsP>{bx͂vsbٻ0<*Q$YdOA|T6jq5bw4xg!CgrvM"FY9;eh`Y}>z6Xb8Rۀfep|c
隐PxN5E\-173oTv8C(qӒuU@zg8\UyK]EQmNc̈v3?:vR ^Qx(