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 <<A $ E ZF-UNITY:threads=6elapsed=6.363cpu=31.784gc=1.108factor=4.997zXZִF! /]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄė 9~TdT OgټW8:}qvR m;u- `;*!@=^~c?"k4xma`"T5pǀ{ 4ڀD#Էj-k l;?;F_:w[a+U$DK.#>h??) u`#ǡݢnA!)ᑥ2~vzo5U?"@tlu|/jɷ(IXk%QbSU `f .u.Ӏ.U2%=Re]eh[ؘ"-#& \ihCά As>ٜt9m9zyM|6U`31y`N[)9 ɁIBz6} ;n4s +C]q wq }A})s^lzD嫹kBikַ G&2@RNm,wXω{üGndR5\^4`1Pfs5͂t]7GS!3J  [,+A9?gǚu NGyKt#-\\BR5[yrFeHijux~4E*-ͳgYZ7zXZִF! L]ŗXi%6qf6=] FY$r:R-~z(dFe5uz0F\X.#!2OWΣGJ̓?4YujX1c]-_$`kB8Q_Nu8-:514 R#>lnƔv<*rǽf*Ҍ*%zM@SM_%I4֥v_a>!30]I%f(] Cc#㝥ΘqreB5꫋(ݼ4Eh߿gj[ W9@8je]`] Ý}^-%Y?xjtWw^;?iV6D2tkvr0Ӆ*\7q ST,C`tZɻT z)$jlRmF`\G)ֈLlX|5 f1x$Gէ8xSHw[oPu*=d d3yw.ƒq\sR2;QG,[3?D;I cۮH^; p`U6!n H9)7EQnyta`TUo{ 3ź #V܁ KD));xC2 Sfc9ӣj%=LY!V!Q[DkюJ_7xnr J(=A>㡱gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 8a5c90b85f28f5d5db46167336f5c41d9c6dd7b4 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f2619990c27038b33ee8dd18ba2d61b4926131235c1 b3395acf85c75fab80b145baad89688d486697ee 4f7522e6549c74477449d204858c5c8684907961   ZF-UNITY