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 !) $4 ] HOL-TLA-Memory:threads=2elapsed=14.154cpu=24.604gc=0.844factor=1.747zXZִF! & ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE!Ś!| 9z|8pIАhHpi>L=>-M ͸MVdND(NEM >YRY"f0 O>RBYe9 [KXYR}>[c *z֝f&[,hjr6h24 l(g[d8hi:J &7r'gu{~坄{Jp SlF Nʐ3BV8]&aVS,{IގA?M,]DmE f߃76VxazjR!kq] 8n'Tu^:tu, $L[Uc%01AoA މw٩Wp,A@^:\ڶK Pya&R2h:H>@l' (晱gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW=Flޣ՛/-A#"g@`pX_M|%W؋5@ըֻ1σ'B3mx u3ܳhC9i}IPF9pÉ OV ,(\Ot%b .Emk`DgYZ7zXZִF! Cd~]ŗXi%;3-MX[jbp7/y&9we"FGDsR*9SP9&̺ 9MvI iSRYAwـ:XM a$cs caHʖX:BW|e͈dHm<zKD=3`= 0fttOj߱6HsU‘XW}ǽ a'a0򱘦ٴH#9$y& 5i=p;M큵ϼ ÅkB|@wE Ɲsu"P Tjpcdڳ!ͶiښT3Q* [:.FcnjL*)o"! bB&+SHZ14#żA3Z:ɞ@AZ"wK 9EőǼ>A12!|S\"h#}~S;K|*Ԥ.\)=ţ{ƎoT][|ٰh1'])p~lM+ S`R .K/p7iX1bPXivt_Y:UB!A(?4<u ŭ0iVm-;59k6i%fۺwʨTRuCo]{[sA?kMhKz[Mq^^|֍J~XjJeF*Dل0esLl&1MAvLG`PSFk:v(9: ͙*(ף)y0wqfgFlH.{C>贇E+3$G7L[`@ 6LG'S'O⋪j+uK MP l `5Ub>^(kb=MÀXvf`;mM]M|oc>c^}K1-Rܨ׷6sA@x5A':ʹ rZ=Tk&2OM DJ)mc*ݦ *g LV2ҏߞhd97hFBֆlQWo/?GV+>&x?E8 \`'f2! dogYZ9a1d75133d1c73ea27489f0be4d8483e21b87e4d61532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 aa09887d40b809c628eba50b730d6f9e42763dfb ) HOL-TLA-Memory