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 j $L ;/ ZF-UNITY:threads=6elapsed=6.226cpu=30.712gc=1.080factor=4.937zXZִF! z ]ŗXf1-W_X,=k=G^vhw=h7֪߬Jsf5,lUW_dx`ĵ\" DG|r111I:1aP = Pg,Yڝ`)(, \idPT# tZ2Jx ]8{_,d[=6S YvY9J -j#BJkDSr{@E3@vh }Ue~mVS@s} )rEO?yϦp >__h_aܦ@$B78[6W%.uR6?|?3| ^u )4KeX{77ߒQv&V=`r4TO:U& z-vt,wP{: MUxj_@ۖ`fϵgP*τp>q^sUWЮSQd9 [꽔3'v_b7@&SC>BI*paK>b=^D-¢~3+{.'TuvV|3\}L1_kS;F2du]T>I{{֝O'\×Gojz(poa"{   ZF-UNITYw|Ԓ5mBdB8\ ⃮ ہ,,du9m"ZRjbb{nzR[XOl$Ftҷ~C1]FIV_ʞ"wVӞtYM mJ&ȋ@`idP#^ceE޵GWo-NT#(/Sڭٿm>r+%)U6#/y&=Dqc@z* <,R)DуF /zKuRC"*AAፌE0 Ɯ"eGUI7Zgv6͹N5&RM`,sߨDsWNԳ 9:ְG*D*!43Ǔ1k:S*dmJ]I!&ѯc^Υq dlmQ>m#5tzZri*hGb(zV hQ`:MC_8MXZ)V@K؁j NϿ/*)TXRD(a tEei~٘>K2ֱ`Nk~0PT_81xw1ï3qF ( ';+5Zdw)Ah"d(3>)CzJ/ꎐ,+8܎܀E!,?MoM-n}hRY;J>%)5?* ]mXg4˂YIf}? EV r;=o6=*@\MG<$^2ND^\-KV'KQpdW2O@#8`=OfKQ5(QN%{dԷ$z$iU)ӊ9+NO1iΎgTR>awt5:!)qO3oJV[ T@C*5P1ze3t[HHwH^V݁ing$,bX^iHdؗe^WOgNȌBJ4FvM*r_wDQ47}[2X =<ut8Z Eh3ie/)'Wt1 k 0R @=|=%) ޠL?y{-W11QƃPF@67ƯoO09PiC/ &fyEO oUۺRJ͋\2s`X|H\O/8ͤtX%ر¤>hVlij|ӾeڋHgA}0fè&J>^f~AZ(떅҅MTz>o^= pS_7Ԓ2u|Qnњ)z q.Rී/6Wkv BAK% ><'BsS,m]٭G_!~d}Nbf6¿˘n={nl1X~$Ic$Ȁ_cJ#m'.e !+[$a(uzXG{gX!3}h ᎋR&λ!)b#4%G=92s`H)~Z鄦&p$AY7Īo-٘ʯL۱gYZ7zXZִF! _]ŗXi%\*I]I7G ywC>;3J;2{Mivvi/0=4^D~Eۯy.lp:ȟx†A[ނZ(bB^_xw. +Eqggާ2)k^ECEt5ћmy<ZZDu4ocQ|(Dd]"E`O["vC65!N)T=H)iIKnV8Tv45٬/̗"=e'NV$Jfs{vL8_R=Kbm\K;6*NNMmc`DV>Q#8ghf3LXJexK4us|x *1vxoQ}2ME\tHOO=z^F</A>4K,۷Q)q?ձP|BXƽiMLp*Dv+6x~w kY~}x9n'aMT()D>#]2-'|?YRjk$TPُSCoOP`zB'xTWm *F{y~%. AW02梿x9MDYW,ۧ^%"8G*AR 02MvY7nQ{NNQRj<6Z=6qz5,.8nHB+:f8#љ+eP6e3,뛷".sCDlj4ٿ TDů,=gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 25d36e152c256908a18b0792a5344e6043680b74 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 35efd59025a7e6a9b58c241d6fa17eb5d3c4d405 36863080348d1714da512ceaa1cb6bd2523e0280 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a11834af04ab1c630562283c8c8ccde857e6b8b8 a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f260c07da28432d519c95f28fcc6765fa1dc9b8127e 06f5081fc200c0870c685a3af1563e46e2515473