SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 dd % |l % Finger-Trees:threads=2elapsed=15.743cpu=25.800gc=1.876factor=1.647zXZִF! S{x]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG;5V`Z%i րjƶV$OmWR]1V]Q/{xcf3jf \ne.qkfG;AOAc_XK2h^׮^V(!*DͅnBBWqнڄ$idV'&&Z뫣֓th2ϙw§ʕQ yHpdi(a % Finger-Trees{1|/_k22l=\$<ĺh|i#HG.b?T;,?R1Yq cPW #%So$ (yiU~Y6VLpȁ@( ov:_6qҌ` Rgotg5Z,C#s&dlss5q84%E %j]~~],'SԱu-WɢXr4ij~˖eB+ Eo= BT pS0@G`Evſv_)B'4䢃շt#n~.- Қ;r~ŇG%P-X_AQY*>enh1m,Q_!R0G;*46uN+b;#WT1wNN"b ~]%s3ᧉv::tM$aӛb̍#We*yP.K8(SŦvi?}n~ϮV%angkr[xF IrQOPxز'KS2lfo 7$q; w܎Z@>PT::Nd$]()Ve^iplhE;MYPC5{fϗ]ؘq*5kY] :/gNBjڛvXȾةQ,ٮVqDRzl4 {. XHY*͓Vobp 5†hBQhC4}q(m,Unބ8kڪv4wZ HF-!uj~hI"} ar,\W;>:Ƿt}~0ٚ};E7MlӈGA7䃅{X +mm #T5Sd!Xu)U9P!ouocYWcĞ3@ŴHzb_T)bpo^dґ&w5F\D$i$LI|? Yi}%PRIȰaQ7|7n6LglONL/0ғ1/]qП4Oڄ=_}?\ 4=sҡtNRW?ЧW>%UFke&GԡԂ#qd { &-vМŽړ?($cr AʬJ3}v<)Nc~L;{,Fi(nt:K脠#rePjYDeܷ&Axޒls]ϙK4G!9Cxݏo:Dw\B ě X_*#U0ԭ)3tq lgYZ7zXZִF! R0]ŗXi%^cs39H:L𨎵"7N >R­] -+B <Ԛ !Z6Oc4s W˞3.J t&*Q{=x/E/u47Kc < "k\)x^C5 =Wwiu(,yGӓe Щ3w;5%U*SuJ顇 DssBl#ْc9H܌COu~$kh=͞??kҾzhs[PLΒ죢D $yg[K&w߉ô8Ri͟wUv^<@>.(M3/,B!٧IN 8(R}iʀ>RW$57 Ա<ojڦ{e" ,3z0xPUZf4&"P"AF`MX 5ܠ2Ȟ0cbtS 9DYM;ȵBA`?/22w^y;gOs)@0vB+:LE$ fX+@Q'Vhwʋ2|!s\"x=EooxA0wmٟeuLGr' uIi%^\Zxb0KvqFxo-dI[K l ֵ/R?.̭gd#ZxߟT갇9+ VPu:0FІIv3o}u$S7D HsV\-T%\B<4P3lȭj' 3Ado]yغ6 iIAPobt Ra,"eo\]G"džWh_/K<X[$ӎ9N,K?Lvִ63ZK$n(lC] % 3gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb561407addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3