SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   ld %% Topology:threads=2elapsed=5.867cpu=11.208gc=0.880factor=1.917zXZִF! H]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C Es&ތH0tI'x=eOWA`V9;k3vd|Щ}%ICO/}iD'!py{̫ j1 ҍQtbPKƌnQ,V:hと"˚W9E'Kur# cB^&`xAtQϬ0-sIچIr&8tSLyL [%*45zXlI/KcWAϠLJKz^w`,]Lbj9[4:>(w!悔*|* b3I &u zϙfʌao0a&iG@VgN% 7`VT%l^q! 6q-rbuV^M썙=4/ZE-yVGZJ;%ݬ7 UYw-!UF bnzj 74JC±="nE>ĦXfF7g(B)Z2eѾqJF, caͪl4rŤ7b=%J-ߐn@`qdcy%nu*.@aMC:\- ŭN2sp Oq׉HDQ ŽPMAڵ6Ռ M 6RL3geڸ׭iHXQw龄:Nyw1xiFzMVe(yɝNl$ǎ/I iPy ѨKp+O%+´%9*l!զNa?\1/c}n~ho^(d _gYZ7zXZִF! %}]ŗXi%:4h24 -";gSޭs Jg*=4$b@W5!5< Du^|U˸(>y ^WFx#4B@HHB,t