SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  l4 ]/ LambdaMu:threads=2elapsed=8.710cpu=13.584gc=0.484factor=1.567zXZִF! -]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"lJ7ٰoYJwKf"O{_+Y%|d)_o#"=0ҌFn6GNucBfǨ>tXL1"`?DO!/d:w| FgYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$T]5U옷s:Ps@Z0T@hs2#s\..&5^U:7l[/$%*Hd&WͿ*fSJUv,oOk]>V%R.'L|PK./P6:Nd3^OVߣc7tץ-ǽwSy8]$G":Wnjݬ$|$LVa0av0b@j`LhGPJ[$S˧gGX['ObX^IJ5➪V,y>I~'9IC5ɴ#0=a Mh:x6 rҚ/3]ǍMkh"u[~1ā,ܲ(K[l,GDqFfixd /a,ho7)]pAJ,&zvwYg?)?ӚBuhh1':K3uPt c(mV?yͧeݛ L7ba|/~Ksxߢvy@|ZR2ՙ.Vy7홶.'5dEFMEO1uBց;FghJjl yUA~xE_2ކn93fg\`Y 4$h G [> /3:1SCg@fVBKVL䜝9c$}yPZP"|1}&VXFS6UTWPK9 0ob-YHS'GST˿EԔq~ieF""AQ3$j&/Æs$,IMEs?OB'"{\AnUCQ8ȥO,"͵V#c%CG؝t̫($Ȟ) OwvlCW a.hщT-ȁ=M˄fEiUddCXF!;vm?ZЩ,/oeO <S<؇dx,6>L\D )5aǝgj2lgYZ3138e7fa579439f4a0a4ab394306d9f4d9d379603bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e   LambdaMu