SQLite format 3@ .0:  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  - $|t ]% Orbit_Stabiliser:threads=4elapsed=7.835cpu=14.928gc=0.272factor=1.917zXZִF! u ]ŗXf[&uݗ>snCNYk#$* J1OI XՅY5W9.[ݪ;0 _\Ü!nZl!N';dOђK"3A Dy x`(*Dm0/ߚ @cVknHm@ȇMH#*SJ:: hN,|q-up܁w(K#Z¿=G{9~9w6+LtP8-o M^gYZ7zXZִF! x]ŗXiɟC,|XJQWpnz|9"癫q>~fZW#[ vX@AizCa2POn4S:9Z%b&B_zY>bgYZ7zXZִF! @s]ŗXi%Bt0 Ev49Çۏ$󅘵]+HT^ЕTz4Cс&!kI 9CgnŁ͕&QQܮ09 <3sx`>"?! O2Y/h?2N>`=ל+ Cru 'q=Yh5i|P[ȔtM.m`u(207{-E7ao1TE}&0= w&a)!6Xd*lXl kqtq6bR b6ovX,Շ1KԌ}pĄTAIA3SJϝ GsNӔ%!8[87*NA5 /ݸgVI ?QOh8g7= M/e$uYq򟛜euYOB;NJHebYΟ~\g,zx嚻Q 7Dq~š^`sHwUNh1Uz&nCμؖ0dz}Uא]B$cyl̞xxqm(̖aW3ܴG.v KW^OBgE̗FnLd񍹑ka9.+ɧ:~2QЈ ++mLF4I蠟v  N"7f␖>#N ?r*nT0d|T@yփWܭm iY?g|,ZꐃI}Uer&䦋)/)! Ы(V@|W1l=?')̯e0(6[gM&|NO(37շc}坾0'SD;ÃX!V3~s* e) ;X 𱯱GD'KۢpEܨL\n$HTn9>i%pu5f}uV]nPia:<