SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ? ,l ] HyperCTL:threads=4elapsed=10.185cpu=34.500gc=1.468factor=3.397zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYQCgz!].m{8MMq&?z~ϣ1iٔ:n-h+p$ D򌻛 Z)at1^ PjB4Y9؜HU(B4ڢL`c<_:w,F@aڱ߫4Uŏ' ]C1]xr4p90* HЋ}"8㗄%/tJXDIt.: D:-مX -[SH$a%`\N\lz3_J50ˡNDv#11n8jE? êm¶y6(&[726c׿$>XDx8i7G i9 oSKz&+f qlQԘרsiBh.7eP聵\]z1}OA*?6*8 gYZ7zXZִF! ]ŗXiɟF@Am|{'h1Dm/,l:IBUBzu$?IN?INhq&#3Ue 54R4'[L[v cxT;Ϡ<2{ !#dRdҷN?dz:.q6jctLgYZ7zXZִF! C]ŗXi%@b^~Z7HL7 8fƲ12Y:k-S[tĆ<٤w;Bx;>(h ˜Y J.R!'Ŭ&63`le|Lڛ*9Bk9*?@:'WLQp:-Nc8eO#ar}BTS ]@8. ӁGE68!4`n-KQI\;EP 7r9ͼt^FB.&{(+\W b׆RZ۴u3*B"}i'.+OOٗ9JIkKCgٕ-Ju |Hf L$Z˙s#wiZbŏgc!XqHJzV$Wi:Sff ѿv "hɧXQ0Q BCbk oڗn4er.uٕ(rOk1[ hvQģKnaoJ7lYˌ, Ùd$@\Sv gd!wdR@. .=}KR,3,ߩØI Dew;+0IR ![h:7c\$S&ujp<=A[4{.WzF )*wnC0(L9Q,xG7{k@BT kP|e96QO gHeSzHvkaʟZpJ(32A1sQm,z1:չw+O,TOv~ 瑥3?68%YuL~CVn^^|㜣92ij{iR8|M]6-r6ej>i@6nO@l>p/V75>I[WhB[$pd 4\i/@Ps{ 0ݼƈ4#YwL\H0n[9JcJ/9O۬^L[= wLo'zp c*l3{;?agsmT=75AHliZMJȻ:=yK9(xշl\j8^>vwZ K _gYZd603f9807cbb7c59be4cd423637a52dfd7bde54c31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac   HyperCTL