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 - ,|d ]% Orbit_Stabiliser:threads=4elapsed=7.808cpu=14.252gc=0.304factor=1.837zXZִF! * ]ŗXf[&uݗ>swTHnl%MԶg03zz;7*c.\MBT"ڥ`FC_ɩRRK9e, ^Je iY7y&T!6x6LCKZ鍟;`( Gn?13,4{(Tvtdޘw9zGpV@7hZ۪3vB8#r7;}hyw>ɍc\*Ϻ(ֺK5ϩx@ _8 I{gYZ7zXZִF! x]ŗXiɟC,|XJQWpnz|9"癫rȾ&$TFT@Dm[u]''>?H0H@h\A %ƀLRbgYZ7zXZִF! @ k]ŗXi%B۾2C* ; r&Id_~~,43!gwa'Q #D4/8fپTT+~̳7*F+5|`?ko 'Sd~K=@?!e@vV*) >UƄo:`+h:R2褌["W֍{X|'#=qHnjHoh>JC:U ]%.k]$,WZTR(I3s!6puyp_ueQH&|Hmic *DgfqY1FPЭp,Fђŧ^-"}wO=z+/2<3+O+r}kC 4d[d_RɶP} 0mV=몉)[ziHp8*[}X1$qHuBwO.z ^nM71[c-vt+;6'/ϯ{mQ.k>H-)à*M KGYhu-b 1ٙݴߢ=sBvM<,;]_Wao0` ^?+ZW`ܿsyk v^rhŊ}bCa(A`nYܤ"Q2FNs¹w?W_yq#'U(sL˰T]h _NzUld1[FKo$΍sf|/C5 fm6kg+dK aV ЃRv-21΢E#[w {G?mWIBc+f~Fg˄T HQ_b.r4[-L(݀DK^dPJJ