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 **G7  Sw Source_Coding_Theorem:threads=2elapsed=5.665cpu=10.032gc=0.244factor=1.777zXZִF! / B]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOj 7 Source_Coding_TheoremoDKW,.c[ӭC MszβuZ뵝mm W* xێƯҒH(4-:PJکWꏊ+|{DoIP#6Kz\!Yf]u3dm'j3>j7LF,ZYNiU'V7uK DU.>q"5,3C@IeZ"L2 5د6hN^6m+ .F=*veV[JS =k a{mE3wVI+€3 ͒qF" sjcIbXpYDq'+|`ԜUJ>G0;V$i@9 UBɢF6OގW؆43ۡڈS $EOqD4O͙فD?mF?$trEBy|<mxSɆDEwy,aBߐqן:KaIÂJר {DfJF_>6róadv-@2-3N7r?/A+n+3t'*qz NHG(h%P55pK˳2BZԏgN)WӎE r886l$0H. 0fѰ ,7D]ZIp[2`QPrRW5ʡƶTV !݋qV^n[8gYZ7zXZִF! %q]ŗXi%r IģOPSxp`>4yFYʫ83[m=N{̴D"B74)A M `ZƵ‡*غBi? ͚P {ʒB5_1ꄵo6KZ^L8辗 _D)#\dYsNŽP(xH Kh$x i)V:>L5G aQ7ZY+sM"%yS{T]B}>n`+`y{QYĚ2'T8,ɉB)05$GהUu[8mzA$94Qy VUڊ\_L˥E_Bۜo&5}µeuӤB+{QQ\2:[&:UpX]F:.A++ɘt/ \o5P9IA"2@y@3p,TZE-7|# m,h묽ffAct9/gx JO7oGP֐AIZS=S.VzJ^ ?rj[ژI]# x- DPsL4XZoB$u7^HIjL8I.eIǭV˛ xM Go&t##-̊Uk pOpҮB1݈c!=JGIgYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420 be170f005c6f1d73970abec1406d0176f24a03523b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 84623f3e4192cabde7f9bd2856ac4d80071a5457 cb198d769d66c4b8b21387251a023a1db541837d