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 BB; l, ]/]HOLCF:threads=6elapsed=12.854cpu=41.560gc=2.728factor=3.237zXZִF! B]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ e@+V jM)h1;Rl,}D~w4Kup#4E 侽9̈́4i L+:{8[P_Xs )tK"j8FGl]oA"\9hBvVnj !U=@'3 @jjM> Vs8. "ۡu?EnIm}wq@|x?Q"?oAX# c y6R/G:jɯLŌ% mfF>05@Z{>Raw$Hu+<@q 'QjB=@Nb[tKs㑨нN_zCUBu sRC6g4"ьu-SվHY%a{jAY[cpXZZu]1sDP k '}DJdo=5ΦRܑم ChSb-OnelE#طnk!zi agYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]k8'Ǧib3%aII'ł֜OC 뭨fxو2ZiH,U+@8Й @O2yY}&BdLTx#StAMm7UPq_aUGHڬMXh)D,͠ł0awD)3׋<8Rvp:Gk- WK[Z 6LI,gttX^sJ;Jx{Ҝ9i@t5zo479=zީVA'V IRfhG gI9b,Pŋmg{n+XǿܭM8'.oIlrAKoFü9L&tJ Fi Z\6E&el(S#mPN; x{>dL  L /1b-h'%|byyWHRn=!)1Yꀦ@y>rL>bs雅I_s Glwu1+gYZ7zXZִF! H]ŗXi%LE%\kT[#q_Q8~bay5% o_ayRqxoї|H @߸|csGWeYo-l}&To(C|\ ERA 4xΚ?kB?wGar ]4 @'ZڢPwH'`*a5L-QZBi b\JD n #ͫ`+9;:C3aWtZDN?ow"2Li 4P.|Iwt=K C_pw4s*WQOb }o j}h%i؎oP^|"\lrzMB&z k%+7)]_2O CJC@jLn6|yر>~R3Nl'oF-c. RjMS)F;mi.5U\iпX|!=Wܷ&GFaFG/n {彮/fH!_deH(_TkLjR3uDf!xv} !ŭuϐjH5u%Gf QrK+I;f+z\EGgJW3ۺV.p'3 ͒o22S26RvW(M[$}xkbJnjGf!~]'hCl܂J hi7F hHΖ@䵢#l]ZU=~jx|Rd(%d?%"N$}gQgkRnKT^ybQFV彸*kT\A\FOVR3mio5 ʏg$ J c:aKE0Ml*cRAr%椀 z\*