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  A=L$ w Tail_Recursive_Functions:threads=2elapsed=4.757cpu=8.160gc=0.352factor=1.727zXZִF!  ]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 WњcsZ4E9v[)˙h&gQ꧿S]$^ fG.[`]F()>#`L/҂T%ؿ.C-^5k3DLC*KX<|H YӷO>TEp22}gYZ7zXZִF! ]ŗXi%6ב 7l #B~[ t=pbGx;(4R^ڕ {eF#r[)R?[1VRPolWJ=Ydg7~n{)>""wmSOG@'T2Q#퉼#:H>_'ѷ(NE L`9Աu򀴹n>RپjsKz &]~+!6Zrq[ϱgwUT?ϡ f-SCQ )bd#O'L|Bn~s!ΒJNT$JaB,Ũ%ksiRQ˘tN"ĎƸ?z)vp@kݵBx+?¼G"M$ђ̍1 GzKixy>_L4 V0D͐P8IO> Y]w~ADE8.L=W ?Ҥ̫qfFe8ǩnSV(g_3 L=`\{0:#{ =}H$!x4+ghʹؗؔŢE.5- M_ (]$^Q 4%&h|Nk4oX7J[ v7>r[mT9SCM}PL5uԨ aI,A)[gYZ1245648bd16bfbe5af64c8db8ee25c5637bde7c4 482081933c65411080eeb8dce3c87e1fed9e7f2f 65179a47791e3e1ccd9b9b271602460cafb0221f 7284de7108cc21216686417c9c894a2419534c28 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 efff4aee245ec79abd34cf37075c419562228046238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 = Tail_Recursive_Functions