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 mm/ T\ ] POPLmark-deBruijn:threads=4elapsed=15.282cpu=51.124gc=2.100factor=3.357zXZִF! -]ŗXf[&J3MRag)-C Xʉc'~ W1w PAqDٖh})bYi˞ D;-Oy!u@ TJ)pDPbV;*X3Ea]2e*'~E>! &}c#iK5 AP\!<:.a@,QFR\ %׺ƗnEr{ZD VɌXdE+oNa}-F 1M;ّtՎL;}džF$ݰ#@ fӜ.42=Bi&8%SU|mm%t~r= 'uF0iHBIM~t-GpcwRȵ NX)dbB (9cސ]Lis$ퟰVň7U3%XWcgVB;zخ;Ojc.Ne_}O k*\8h8iY5 (';p>hC 1 氊0.OD^Lg<ߥlkd5:wIPOG}Y(3`P:M ~*-zgYZ7zXZִF! ]ŗXiɟT{F moEhuFw\eMի:T/楚_| ÄÁ-9"5ΛO~J'fY{+s #[>ABO!!;4IĠsd $ħxےt<gYZ7zXZִF! u]ŗXi%G̉SpzHwTJ Rka g9љ0`>t(LrA 0`mgΔxm1j``OrO æ9s8H#oYkڰmx6Ugu9i(e=ळ?d׷Z"D GO_&SBgN)񏷣!L H0^`Ł j Zn(BSKnGq!2'} 㺳,.6:>sOרfvNA,4CklfFct K;FgwcNNhAcXsqopQ̀gx!K3~u\p'3"o3wQ"Y vp;B\-i$A)C%Q\ƉKT=̓#Ҡ6O"8˂m?t BGR-*v-gyRa5"aaU͟[y"kıQX`W)?#EX9sJ%N(yl5<#pa1P^Q5E*5\(&?Cx:XM"gwZ4QٗH v7GHU_f;T W2."u04653̱wVqѰ9o B3(lB#Z7u`$6qvY3P/Iܦp~+oW^Jɹ,,[3rZQQ<u-*5GN+݉ IcVR7nC@C:۶xce= iݵq/+&M &b ˽ ҳe(Z.QEz  =aOZPyq_89jƕI\6av\(qU:qfR>bڃRIu:fXD:4GWr{c?:)PkCXgb>oi mǃ9#je'\wpATMGNst o蹥]R7 k[ OP-B;85VkNX_1 B'Tw298#Gb}(~Vlx&j25 *~Jc2w&ZY8O{Su8 w Q9O|dibz%uzE\(=i*4̸V97-nѼICqI XXYNq$6Ew!q=7a 5ˆx2HS536 G6P7j(Zeh l#o B4@h8)'RMˡ(6-ڴ@ `6yZSDN+P}$&0Ze=cxHDb̻đI€ F\|BX҃-$j-8 lp0uV3QR bXac6ԫʮv,$@ 9E:W4,3~Ό9影yoosڇ_WR3G7 ؘ!v2.ݯz8'q ߧ\q?s4h&a;_-H(\E('quRegN +8Q=c>;"HxL4-:-\7UC$6Om_KCbSK): oLwG,yabd7DMaB1"E&xr8F!"lr{ {yDy W@bv$0DՓT#KpĂgޕ`ᾇ%& V w>Heֿ=^xmn~u@g`2vuz{S"ӵ?(4FE6`gYZa2b69fa816fdc204e25ea657a72c0624807162f578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea / POPLmark-deBruijn