SQLite format 3@ .  hhB77#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  ; | m HOL-Quickcheck_Examples:threads=6elapsed=66.384cpu=152.956gc=5.584factor=2.307zXZִF! v2]ŗXf1-q恈?X Vd!x{f(Ǟl-&珠a c]u>G024uG!z6p = (ٚO)Dl 1}*:l{Z7P\2qB,Q$hYaD4y]qV=JB@nr2V{S"޷Rp0O%=oD/P/7j$ƱE |GYA۹S<¶I* 7Y™!0oޏI敏# CNd_eOT$uvh@Rm-0\tRzR簛"Mv4U*zЈ&~G.lhvrnrtA@@JR)^)r7x~8C6!mQEIG8M]c ¢/'LI@T/X#i 4q}oNTN>^݁=qΈkd$tCZ8Dl-VIY~ I!itBJjzA ~rb3Zطt-F[ʌEk`'А֊![:B!\qL٦B!IFy~#߅CͫrtMhyzH=+;iL6F^bFm ~砋cc?G# gt' "ƑLsx_gɀhlV![[_zeG` ?znI|3}vo$^r}x[qlƮ}[h M+61D|3xv3Gk_ 'Zu_xjPzyIG ?i-;uېV9'vXeP x)~tkcW{aj9' Tke2a $!)zVn6/nIJ7vFzgo,:yNt4L?~MH:Jag̍}Kuӛ+ sA l$?Un%ϛW!@:l>h*,KJ#۪&ؗ25N~'DŽvߓ_;&HTA.o0%BVv}"A opMhAGlNfTH% S<<3 y!,<[ЀhljF* g)̎"?A)%ػvpo/[GfX73QǫFk)\/aa>5\Pp>`pJd[ NA7KAwD$/&Y`SF\B ސR>L>> Klw1' %s|`0 ݄2O44Q\MJZ&bО Yu$]W"G\q+9} f^I]F Pɦ!BzAֺquxjqf+m+&be,VdUy Vl j-\Q#_;T5IV=8!߿|!ptɱB뱤6> mh>4<~<_"t9M吺[朵E9krM<{dW"K}AРT{8=9=p5Ň`cyVf4-)"tX2FooʲY˦et<}7ɣ˴Y)T=0P)ZKd?UpTH b!RR'Nl4}ܾqYH!b[.)V%'o׿piy9]Իn\i0sө(iy\HofApIu"M]3oV*D>-4?X0v+O/EtI'7%q/nK9\`v]\aUKsTy61vN );FNlkIRjZfp+7Gך;Qwynu}tJS&QeAMGU i{<A؄>bRH _qʳ0+b&_ŹiB .$3N0d:lޤ(vwŮE9@eǸw.jWQ` ?9g mQy|y>6RD 0wpXw&D׌LZ"&2U 6T*W_Ҹ} .D="ض͸VBz؊Cٕ CjlIT:p Ԑl;fs 7;N?}UFDn 8cɇ+AJ_A[0X>d0R]SثٖދC(lsk*ҭ"nP\TT4AWq6&oJŌi>|ږ,7h!rF22P4?mנ7|BL!{;|B"O \ ۏHAy%ġݠ ^pt.kEE7$ɆQoU q ,90/B#Me} ?6#VOqLV"Mk_ϛdS:1SϚJ0F>fѥB9 x)S=uz0Ŋ~^IJzɅ? !*J52'. GXSDqYnYZ!ᶑq76G!&r\2.CFޘXͤa|8G)=.*á&Zf‘4lE, <ߦNH|(ύ^:LeKX*W#A.&蹖vN[bD,]nck4-orfʢ.#Y(}~%]53H mTTFо+{#H'V7%4Hb j *a;FY"ᜢ Hϭ,@D=$5KD܂aCd%s uL4p(0X4=x_Z-4/v4b-;+"@1@ < I`͑#:E#p^LJ$_Q3>Qo@F* ـ7Ic&9XBqel=* \K7uT{4#۞) n#; ouE44~?:')qHrONzP:J~Q2L2&4>QE0GjQ 1ZRkn2xصr^3gpܸ؛7\ Pr2 =]פԞqlM~} 1$ҹsk84p`'mz7ny}GW,ZH>ᣱ,V1zg>fgW$&c qDk/,Vqv^!%BR}m]" ?D\_ ~HUKȸbT b2D2.%')I8^Aʎ8'-y*At#"Dq_J^>2s