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 ?%]Landau_Analysis:threads=2elapsed=14.856cpu=28.180gc=1.628factor=1.907zXZִF!  I]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfAzF&rss;4* utF1Scf5]/e߱ho[+7BT3M7}͘~叮dHMI8 CŁl DW9ĺYh /wF5Aĉ)vFwĀ=bP>:?o}' r)̶ WJ<[P{ 398)hҌI/< N09/vN ^F!U]eE#M5Y'aПP/A5&P`V$.Ay3oRVGhphp!e{4iB[92t]qKlo4"FgYZ7zXZִF! Fm]ŗXi%ةu!V[i~y9h)48$ +߼ڱΔEÅu]fb ve$T 3(W HW p/d>? %mɃ?R[8tLoVīWufD+[y7哜<@]kd62\XZsn#q+vF }on?kUhLZ$V$rID`6AgM+HŒ | aihesPen =B4d}ygi|D$q _b pRgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee c6655dcbc9baa8ea6032ad0191db67eb8d8e2546735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0f3c7b3a34f2f0d70bd66912d631894e7c954e0ba + Landau_Analysis