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 yy- d ]% Orbit_Stabiliser:threads=4elapsed=8.438cpu=16.244gc=0.276factor=1.937zXZִF! >*]ŗXf[&uݗ>snCNYk#$* J1OI XՅY5W9.[ݪ;a3~ sXy#+wk1FqnÙYf@w{/70ᓴ1j5rve GHѡnJ ]ăJgL,C=f"Kqjkv1vⳂQ%(|51.ԣzٙ?\~W)Okp#aPG`,Z:M*JRR&'\6=T' /2gYZ7zXZִF! y]ŗXiɟC,|XJQWpnz|9"癫rgYZ7zXZִF! E]ŗXi%G̉SmcJ!gugrpTPĬ,:Kjّ}eM;Vkf{zA﬉ު8qސ@Fh!uLp"~ 6!@]|K4û!7h~.3`ʹh`o|MV;Xtt=,ݠXTD=4QYHPV n|]?HI'Vc$x]Oo;Vy nPNe l j;F d)ֱoZ#8~ Xב-3qƌ\x*|;eѳS88pO>s.K` J>0d{R1 ;ptp"w p]+.-'n l:~Sj%z C>sfW ` 믲LON/ېԿbHۍ.uAI $m{L!( Gېͮ kb%$_onΑ&/DjNzI1{fq,n:H)f&_f4~st $Т%}?n.{7}Xjc3g`PtmGud*AtrCf$B¶kx$sEw蝚qğXU{5Ϫ\lʝ3i*. {AơLO aV֥W![x Pw(T(v("ck"@ʩbrȮ)nLsonFE&'248͛f1$ɁVjqbdINk: B;.6 ]-jU.Z)Bl18{nօt(>ur5 &+w\5Re#%KL8 *3@ 7,+Y*v||p^) sl؀*QTZVpܰÎ}Hz;`FAE9AMG{;ʵjG pT!b?/mJ! M`&3 0gYZ6d846501218a892a4c48603382119e635895a87078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 118dc90b8362379584a15b74798f375d94d07ef6 - Orbit_Stabiliser