SQLite format 3@ .  YYQ77Atableisabelle_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, "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  d E ZF-UNITY:threads=6elapsed=5.109cpu=25.160gc=0.844factor=4.927zXZִF! a]ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|@z6\lr$ L 6n㏀y 5wJku~m!E to!M%, !CztJ#tzG-}^+O&E $,ʎIM&Ӈ5x#z]IK' mw"H=4tiqs׍h$ai"h\bv@T8M :ϩ鎟Y{y['}KicF?[   ZF-UNITYOFI+2tF{ZlVhԯs~%"3!f.s.G! 1w67殿QW_!97B1R߬{b! Mgϰ:Owb x0{,ІY{_ڛ)nF%Bz4ZƋԷjALİ {1,PQ8}/<vc;yH2 Ot&悿?:t1oYN';QSH .Y{9h:s8 影]M[ f#!EeAalܤ }^FjhB+M/ҿIb E 8  @D/\"S=ebU{M40;Ye HPQ`HEH ps0DdWfB_Zbw?q:NY!6Ai<^-7{Mp虴uIձ|I5tt՟@tEf/2 jiS'A~)0s-hWVܛ{DsDQ>mtγ M9wA-01f@(nթy|~B!d^ҺT:uv!9AЃsp5Uћuk]H?0,_c޶EBҤ}Z2@kW)48$xџ*z `2AlCd:`43(7f,AE8r.&ؐ㶒u{tL0xmE_,g8ƫF@k[x)om_7]/Vw[޸Z7Dyog<=ʢ܆+7֧_UGf X#R x;.Ew)前%S֢Jc+r(1/{c ♾}!{1v:E) \(䊊VsRx64pYQ>>-AW?؃;viquNayZϣ=0p'la}yF< ٵ"X#>S`n%69?O&ZdV/J+=$qz`2ffo?LNMӌmyG39Gqa5k[1;O**O@8z`S ly*cjzx>?u봟?1>{n('?7_*i &q 7GwLjY[vh|kܽ~1P& &e)}O3*Ε!ߟ~Ŏ2O\ǚu^ry_mdv >QϦw2V  2~L-¡v[GCP-p*#0dY`PXA"HbTFkh7֨x 3<jʱgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f2667e6021bb7b814ab9adfc5310b79af51ba1a473c c8d02b7880984757cc585de4b3c88208dbbc02d5 bb5c4105b820f50d86056de14ce3a9b53f9be2c8