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 ..O/ dt / Dict_Construction:threads=2elapsed=30.990cpu=41.060gc=3.000factor=1.327zXZִF! ]ŗXf1-q恈͐7ӺVC.&@s5ή0"}lρeL·☇֋S!Lj]-zBJ}"o\āg W@0W_Q2Cid@i?Lo$F@p\q9hFOXaa~RBMOO㈤.TT]|CVTFYH]ɯ,6Oe~ :]!9T:Xc /Ş6;QH"/@vu}i@uc5[ aSm[pIyО?1V :C֬&#ER 9]~r `(NѶD3ml`Æq#JDmvfB+L$3%#ed#hIYThnY(B?S윘ǶbUeJpn__02&ՇhN ԧ[e+܃jh+qZ"wv QoXr,U"Ãяa-r82kt>wDR;i}~>NtOWյTW4팊uF2x23K%YPȊۻ'hd}F-^gI."QgYZ7zXZִF! ]ŗXi%!UTј zeαd~L/-22_և>be;1[&5Zr>{_z}VF]y6tfýv̍aed4mIp =Ӷ3p^"yzީK&lcyq-~ٍ7 > A"lv܆6>ΠpK[MB5/Yd( 0*&Ebްzδ)?'ЮuӖ¬Bɩgc~*8ӿ{iyeZ/~萝}kw];o//sƅẂ?hgu("':cfLGA/]׬a!Fhf mPBDb!*Cڀ/)II!i I!j-Hf1[2 5\^Bl =.b{fq|V0u YmC>%u:ӌvQ>1JC{FNVSȌ-giu}9fZ5)7~>q9(.2;P  J2 )^P~#G[Wz4B%__c,'(y8ڴLӊ6K RdcAc XRXNq;som ?_{[|`bMcoH'/g(1W-[Rƨ  \Վmw2`P_GHgnW._ފZGJzDAjC3$,iGz РT. TSmf,Gq] ,+x%U.[:r:ٛdl&4-1_x 5_@GradJJPsN zTm@*yjMP. $\;ݹU(K)Mb`+t 5ٯl>{ { 1#%%f;D ,)%un3bq?gsyCZOl6%s-7FqJ&84sCs5~T?ؙg`cG~ ̀ %o$3qaY]/ o_C@G&a1Z?V+cʍ*qz Z"Oh':3n_QƋh6U-cS~"^.X#VzB dŇ&LL+4h䯇cU1u/r?\4˝tJ M7OIL$\O+#cЎ̦+3.UPomNE:6>. <|ֱ~gY$E iܳ.* j7.P6 g2xu?4"ިE86u) ӧgYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 2d7fd5673bda78bac9a10b0c74cffa0edc043987 4ba5df7e4d89f0d5ec767e5ed50778da79a8d582 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc050eb195764c2af1f78f00d2090edf1d40c363 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db eed90fbd470c7affdabbafc75ee5236111cf87a8 fe06805ce6c67fa8c4f4e390717c949c027c1fc1fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 / Dict_Construction