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 ) D4 S Show:threads=2elapsed=12.598cpu=24.640gc=1.316factor=1.967zXZִF! p]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFWEE~6gUèjSx7u͐r3/QmlNj$~ko8ƽ1%Ҋ'%1e'<]gFH\* KԵ.ߙгL!.Loآ=Af#^Rm^/iR2w *abG@R+Xaoֱ.j@wp`(rm%nOsDX&+GuӁC1OYuEuA s۞Cm4t WDbt͖ºyXRmz*9;^>@CP9GMX> o^'e씚f;Bڃ X&o=0h/Sz &2rN',F&+Fm&Y?.pdtڴN۔b>2Ы}SOO[|"O3]7-ԇ%٤RCf:MՄNp2ZR,,^+7=d-۱7yH-pdtatļ%*[j#mڻ/+BI0<+*CL jlh: 93\o *mP<\TIQ];Ԡ[oDYmzEػ>-3JWYU4+ʤDlWRӦagθm9z  2#x҂_];qv.T:_1G4I[X")Du,_$Qoqi -`tV]_cuVc!nKYڼ)zmɬa"I®7vd!L|/Zhk1F'ﱰCw]*.[j֢\q1mUƻ.[Wc^Ti)`Nhw:k>gYZ7zXZִF! HQ]ŗXi%g Scb*p(a? 0 }kZ\M5MiI| 婒 _$͋h4oU6ӚDq5I8 ~O=S2⎿:< dv|rAQF2Mo4Ve68C5reh|ZQ7ƳVMwJ!Q&#t b gB(pɒWzW<[5bz^>ev$Zc)edm SR/`Є+%4h=;$tCMм88Wlf2dpbbI[j%Ֆ;%.΍C e"%&)r7zqżXV&<2N*!Đ&F?21[ePӡwi D~=B1`|e-u^eN >|q}͍xc9n%8:l^-%\~5Gc, N9oj {ZJO C cfK(W?\-p-A۳Pqe9>wRe4XEAf|ȫiPmז`RƶaZ&n0O1.z tH(V$#`i ^߁⨋՗u#TAy}>[7H;r ޢʡxBU&@Tz̾}v2!5)פ1#rOxDJjJ&#=9$ O!k,YvcCl%-k% +p<232p!Bۡ9G;@|Ꮘ3Vs4|R0+a6Abs޳Q̓At*2oh}AYz4ݛK5ǥ#V^ŽDU7}͑B8gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 043d00421b7f000c5b2430e446fa726882fe51f3