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  ]=\L w Tail_Recursive_Functions:threads=2elapsed=4.836cpu=8.316gc=0.372factor=1.727zXZִF! (]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 WњsLCX{ .SVkNuQL)9d(ߦGz"ѶxGOPk8>u>-rl#1r8uSp^C tWs|Y6X$ =0seBA-gT}wa(rwej+gc!gPk$pQwuBgYZ7zXZִF! "]ŗXi%6{B,wiP{^24 T 7X8xK;03@< ]*Pg.f9Q}FBKإcɈj ^eV5/y8(U=?yHEzNT^ަš|EpܙE=ƴ#?llnݵ3 ʖ:͍ӓVpF~}JEZ7=bXT& K|^R@2R`ʟ94ɴIJ)%_)ҥ vd Th.Нdܚ[KUxrL9[F*}a d~4͠biNsgwSgB< 5 ړ.q+BJ+q<%^Aۿ@ܿ1%/ ZEr 2a0$RGęzo#>5j}|$C:ުGE*q*٬>:6%!Rc:H~*ژiY7i Z ^T{bT;RH%y˩[rm {h©k6EܱgYZ1245648bd16bfbe5af64c8db8ee25c5637bde7c4 482081933c65411080eeb8dce3c87e1fed9e7f2f 65179a47791e3e1ccd9b9b271602460cafb0221f 7284de7108cc21216686417c9c894a2419534c28 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 efff4aee245ec79abd34cf37075c419562228046f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 = Tail_Recursive_Functions