SQLite format 3@ .;  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 66G T,D ]/]HOLCF:threads=6elapsed=12.920cpu=40.956gc=2.588factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ HBFGYj ;*%Z^@q̐!h*1lOxXiofyxXxL{}莠R W~m'_=@@iv' HE D-mGP:\]mM@ b BB9g1d?`4 4o>Slo2T $Y<4E4fe<( ?['iݜeb@O[= wRJiTs%W~\̰U$XO3^Y.&7S.:Ix,duƙxNa= `θ-k+OE-t*'CRBѢHy8q|[u8[܀6lYi& '1#ܾ.f ,jz)j̺R'$B7KD;]\B$ m`ܜ#Sam!9B?gm<4pW*٢֍D-zuB4Ƒ̾|OP'*C1h{Eq nw]a׀7ӄo|f-xNlG JgYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]kCqԃ ҡѿDͯlYR%:Z7]mڙ UC,uv/%=vA:8u>G*@[M5E$R@Msaڇ Px7 ˜)>rǑ.fk_1KDK`flͨDG//{hwVS]XtYuIFG+ehpXs]lA7mVBɒC ?KܗGZt|S^ulYV0wFu3Ι5.ijԋk C<%29:м<HAj _Ǵ;@9D`K:v|^.\0v÷"mc;8]c| Lg*B\3]Pq"=e~Y_ NQwt =?;_F(Oj}/`fRҽ"1lEqf&I$ǁw3/aN`^M?EuQ&| 'P.ݓ%;\kJhr#gYZ7zXZִF! H]ŗXi%LXMp@fD ;B(d 1+{Eq3Aawi>c~ 21G\-ÅQ%(WȵHe wxt:+ЦgRP>ی!+‘P>OSR6le-֐sڈ\v.I_I2;r|X>r$PRB`; b#-pz|tV칦W#(ī Z*tM@g1Uw' l~kR\^wV(N=8$x$:qcZS9FK^\+3%:7CAPB {=6d6{ EcPoutl@H ey/lmh1|՟c\9| 0͍:$R_FqaWRg3磳MɬWJ|Q=6"G˜ፊ颼ˏ(%ެq>= p}nV-z˧zl|%%šL&c;Hr!\0Rh6``F\=~r|ߌ$jh>u,2%t;^^b.ߣ}VLz9/v72Ѓ穪}2"D0z\beġ*=qm|~%^]%:^HlW 6H@T; UHp}ס6.u̬Ht'pIžDT͗Ԙ m6p.+4@KojobJnD $_U9~/qN7EFL̷RIyg ;RGwIWqPBַ"c#>M]L ש`%W7+RX((XV]+"S"d}[ܜCl@2՞>Vkũ;,UGʨH +h}RYgI5D 0I]hiCv\W.B[닆