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 ""[9t,  Ordinals_and_Cardinals:threads=2elapsed=0.134cpu=0.152gc=0.000factor=1.147zXZִF! q]ŗXf1-/6vR[$ l0H诈 AcR ZWJ5EGHMUN)m+k)U]L6dQGq~MI'㩪FIRgYZ7zXZִF! W]ŗXi%Hﯓh,R]+.ʹԠQF좭4)شR=qyt q׭>t1hTcu$ pa]\F?p΅ 3jL[X ټ[ y; $tCd@ cIPԫ+m9=/>,s+l,}鑛 RLC-'il6_uzSM4C1\D*(UJ:` ǮټYt]mB@HQ5񀮧1b,̑g#+ 9y+sUkV\1[k'F!#Wm)Oyȃ7HZ!䳑* = u7M_"D-exp@Wb0({AgYZ0b71552762a86f4cc9509ec4286ac12980f770b4 739539e961f95f9c22839fd98417ffba3e077d29 821c17b742e5935dba6f50981002859c60a671f08c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 19421247cd7a776604acea1c792f080bf1ec45b8 9 Ordinals_and_Cardinals