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 vv t ]% RSAPSS:threads=2elapsed=22.249cpu=42.096gc=1.600factor=1.897zXZִF! 7]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩻RT$4,7/ZQ,NI{r)ܹ0ζ@E`.ːt` iWZ96%ohKqx QN#8`$RB NԇMiKT: 2fSt%ڄ^G&z[0VˑrP @ܥh+罂26k}1.dBb >zr*Dlme= }]AZc sMAy:mgM­9Yxdr UЃ77<Z! @ LKk$ލa|hL*A~n? f0*C@$#w Qd-}_>4U+ygS+4U7crr% ҥƖn~v^Q*qZ[0ǍգIGN# B)G?2cl^,0 Gꦁ&ѽn@~y\'/+,1ʴf RysԓSO 3#A߾ﶩ0\Z`eU!Фk,6ROgYZ7zXZִF! 3]ŗXiɟG@~W/o&AIbA>>,-_\XHo@zYމ\0=v+aH%=Jgbe_ b&cZrWv={Q=| |ۈA+WW3yXwy[6~,PiU#{ eOǪѶ53x#fW&~ś"{" Cvf:w/gk#]/1 6L@~tkc2z84)RUdgYZ7zXZִF! { ]ŗXi%>gCwʅY8g+`p-VD/-Yud |År5-*ؕN S5K`xz0rҹXJK~-:޹ ,9h<=5_ R@ na݆ޙ[\[W=wy0q05 ʁꆇv!!Ɓb;+E)ekƲh7bh+ C]ڹB.]XeT@凊 ȓ$CG@ 1\2)LLk͜TRث ٢Hi(T1m 툠*E>ٙ[n w| lDĻ5F3ڑyrk$3 o#e1/wlϝŒpMn7o˟ XO+p ԬQcCQ:ˑ zSXǬZ4$ov6jkAR졪ɹs^-+aT֨7MSBQ'0?CmhK_%鶠#QdErR7UgG{4F ;f_ceeqTb*ޭU_mWi 0&0Ф-[l]SzbgwnlHAUˉNJ6 A?m Df:e-7̮Ň~ +![ߧLx%&0˩ SXѻ?>[L2,]\#0ډTݥ''"<;0aŹ_T(uHYaF&H[.(E嫦a B;ϣNf4}='+½ǰMktى=/k%VDUF E-\l*tpZ }?;Wժ09D>9F 0"& : c_ys3.8FkD3E$+bP#%M"aX4aSe]kup$us%ߞߤA-2%bt̂VH3Es=rB1tkrUL)X]t4ՃV4=Vߦ[ OG9gYZ1e50bc6d533839504a0b4a5bcc9c0f33bf8db718665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 71337fdd1f643448fe0f330ede7d6192db39b5f4   RSAPSS